logic derviation